61. Linear algebra and probability for computer science applications /
پدیدآورنده: Ernest Davis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
62. Logic program synthesis and transformation :
پدیدآورنده: publ. in collab. with the British Computer Society. Yves Deville (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logische Programmierung,Softwareentwicklung,Systemtransformation
63. Logics of Programs :
پدیدآورنده: by E. Clarke, D. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
64. MATLAB control systems engineering /
پدیدآورنده: César Pérez López
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: MATLAB,Computer-aided engineering,Control theory-- Computer programs
رده :
QA402
.
3
.
P47
2014
65. MICAI 2002 :
پدیدآورنده: Carlos A. Coello Coello [and others], (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
66. Mastering C++ Game Development :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Computer games-- Programming.,C++ (Computer program language),Computer games-- Programming.,Computers-- Computer Graphics.,Computers-- Programming Languages-- C.,Computers-- Programming Languages-- General.,Graphical & digital media applications.,Programming & scripting languages: general.
رده :
QA76
.
73
.
C153
67. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
68. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده: edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
69. New Trends in Computer Graphics Proceedings of CG International '88
پدیدآورنده: Nadia Magnenat-Thalmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
T385
.
N335
2013
70. Numerical methods of mathematics implemented in Fortran /
پدیدآورنده: Sujit Kumar Bose.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,FORTRAN (Computer program language),Computer science-- Mathematics.,FORTRAN (Computer program language)
رده :
QA76
.
73
.
F25
B67
2019
71. Numerical methods of mathematics implemented in Fortran
پدیدآورنده: / Sujit Kumar Bose.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: FORTRAN (Computer program language),Computer science, -- Mathematics,a04,a05
رده :
QA76
.
73
.
F25
B67
2019
72. OOIS'96 :
پدیدآورنده: edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
73. Object-Oriented Programming :
پدیدآورنده: by Hanspeter Mössenböck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Oberon.,Object-oriented programming (Computer science),Operating systems (Computers)
رده :
QA76
.
64
B943
1993
74. PRICAI 2000 :
پدیدآورنده: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
75. Parallel Computing and Mathematical Optimization :
پدیدآورنده: edited by Manfred Grauer, Dieter B. Pressmar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Economics.,Management information systems.
رده :
Q500
.
E358
1991
76. Parallel algorithms for numerical linear algebra on a shared memory multiprocessor
پدیدآورنده: Kaya, Dogan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics
77. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده: Marc Schoenauer [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
78. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
79. Parallel processing and parallel algorithms :
پدیدآورنده: Seyed H Roosta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
58
S494
2013
80. Parametric design for architecture /
پدیدآورنده: Wassim Jabi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Architectural design-- Data processing.,Computer-aided design.,Architectural design-- Data processing.,ARCHITECTURE-- Adaptive Reuse & Renovation.,ARCHITECTURE-- Buildings-- Landmarks & Monuments.,ARCHITECTURE-- Professional Practice.,ARCHITECTURE-- Reference.,Computer-aided design.
رده :
NA2728
